git rm %1 && git commit -m "delete file" && git pull && git push 